type U{caret}() =
    | A
